41![/home/lwb/beta/doc/ref/ref_lwb2.dvi /home/lwb/beta/doc/ref/ref_lwb2.dvi](https://www.pdfsearch.io/img/d9ecd32c782ff037f52e2e0aab4569f6.jpg) | Add to Reading ListSource URL: www.lwb.unibe.chLanguage: English - Date: 2010-05-10 07:17:13
|
---|
42![New Rules for Domain Independent Lifted MAP Inference Happy Mittal, Prasoon Goyal Dept. of Comp. Sci. & Engg. I.I.T. Delhi, Hauz Khas New Delhi, 110016, India New Rules for Domain Independent Lifted MAP Inference Happy Mittal, Prasoon Goyal Dept. of Comp. Sci. & Engg. I.I.T. Delhi, Hauz Khas New Delhi, 110016, India](https://www.pdfsearch.io/img/55d4a0d226abdcac86ddccfbd209dd5b.jpg) | Add to Reading ListSource URL: www.hlt.utdallas.eduLanguage: English - Date: 2014-10-31 21:58:08
|
---|
43![First-Order Loop Formulas for Normal Logic Programs ∗ Yin Chen Fangzhen Lin Yisong Wang First-Order Loop Formulas for Normal Logic Programs ∗ Yin Chen Fangzhen Lin Yisong Wang](https://www.pdfsearch.io/img/186554c1032ba9cf65b235819d3e731b.jpg) | Add to Reading ListSource URL: www.cs.ust.hkLanguage: English - Date: 2006-03-23 02:44:06
|
---|
44![/home/lwb/beta/doc/ref/ref_lwb2.dvi /home/lwb/beta/doc/ref/ref_lwb2.dvi](https://www.pdfsearch.io/img/bb3c50a23de89f830d45d7696765d39b.jpg) | Add to Reading ListSource URL: www.lwb.unibe.chLanguage: English - Date: 2010-05-10 07:17:13
|
---|
45![/home/lwb/beta/doc/ref/ref_lwb2.dvi /home/lwb/beta/doc/ref/ref_lwb2.dvi](https://www.pdfsearch.io/img/2898758516b1556f02aefea0e8ddc9de.jpg) | Add to Reading ListSource URL: www.lwb.unibe.chLanguage: English - Date: 2010-05-10 07:17:13
|
---|
46![/home/lwb/beta/doc/ref/ref_lwb2.dvi /home/lwb/beta/doc/ref/ref_lwb2.dvi](https://www.pdfsearch.io/img/abfb9641640c621be2058023c6cffbec.jpg) | Add to Reading ListSource URL: www.lwb.unibe.chLanguage: English - Date: 2010-05-10 07:17:13
|
---|
47![/home/lwb/beta/doc/ref/ref_lwb2.dvi /home/lwb/beta/doc/ref/ref_lwb2.dvi](https://www.pdfsearch.io/img/ee9ba813601f8df448f6620d9d9ff5ca.jpg) | Add to Reading ListSource URL: www.lwb.unibe.chLanguage: English - Date: 2010-05-10 07:17:13
|
---|
48![/home/lwb/beta/doc/ref/ref_lwb2.dvi /home/lwb/beta/doc/ref/ref_lwb2.dvi](https://www.pdfsearch.io/img/5c578bc62f98fb34ae58af4db046d3a6.jpg) | Add to Reading ListSource URL: www.lwb.unibe.chLanguage: English - Date: 2010-05-25 07:04:51
|
---|
49![Solving Non-clausal Formulas with DPLL search Christian Thiffault1 , Fahiem Bacchus1 , and Toby Walsh 2 1 Department of Computer Science, University of Toronto, Toronto, Ontario, Canada Solving Non-clausal Formulas with DPLL search Christian Thiffault1 , Fahiem Bacchus1 , and Toby Walsh 2 1 Department of Computer Science, University of Toronto, Toronto, Ontario, Canada](https://www.pdfsearch.io/img/99e2d78885e3b6649aad27ea1785cfdd.jpg) | Add to Reading ListSource URL: www.cs.toronto.eduLanguage: English - Date: 2004-07-03 23:15:04
|
---|
50![A Logic-based Approach to Decision Making Magdalena Ivanovska∗ and Martin Giese∗ Abstract We propose a novel approach to the well-studied problem of making a finite, ordered sequence of decisions under uncertainty. M A Logic-based Approach to Decision Making Magdalena Ivanovska∗ and Martin Giese∗ Abstract We propose a novel approach to the well-studied problem of making a finite, ordered sequence of decisions under uncertainty. M](https://www.pdfsearch.io/img/28262a0f9710c260e19e9a6a6404a251.jpg) | Add to Reading ListSource URL: www.nik.noLanguage: English - Date: 2012-02-29 03:37:49
|
---|